/*
chars
parse ab a
parse ac a
*/

# Names are lexically scoped over sequences, the following works, with
# the two names "a" bound in separate but nested scopes.

P :: char * ← a:A (a:B &{ *a == 'b' } / "c") → a

A ← "a" { ref_str() }
B ← "b" { ref_str() }
